Xfun A polymorphicfunctional language which is a cross between SML and Russell, developed by S. Dalmas of INRIA in 1991, and intended for {computer algebra}. ["A Polymorphic Functional language Applied to Symbolic Computation", S. Dalmas, Proc Intl Symp Symb Alg Comp, Berkeley 1992]. (1995-02-03)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.